Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
361	ON ANALYTIC INFERENCE RULES IN THE CALCULUS OF STRUCTURES PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoS) [ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-11-25 01:04:57 Propositional calculus Inference Logic in computer science Logical consequence Deep inference Rule of inference Sequent calculus Sequent Calculus of structures Logic Mathematical logic Proof theory
362	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory
363	The IMPS User’s Manual First Edition, Version 2 William M. Farmer Joshua D. Guttman F. Javier Thayer The MITRE Corporation Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Proof theory Logical syntax Logical consequence Metalogic Lambda calculus Sequent Theorem Model theory Proof calculus Logic Mathematics Science
364	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
365	http://www.angelfire.com/ab7/fourunit/2010ext2q8hsc-sol.pdf[removed]HSC exam - Mathematics Extension 2 Question 8 Solution by Derek Buchanan Oct. 25, 2010 Add to Reading List Source URL: www.angelfire.com Language: English - Date: 2010-11-14 06:35:37 Calculus Pi Sine Proof that π is irrational Proof that 22/7 exceeds π Mathematical analysis Mathematics Trigonometry
366	LNCS[removed]Erasure and Polymorphism in Pure Type Systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-11-13 13:58:09 Theoretical computer science Models of computation Type erasure Proof theory Lambda calculus Valuation Type system Admissible rule Natural deduction Mathematical logic Mathematics Type theory
367	Noname manuscript No. (will be inserted by the editor) A two-level logic approach to reasoning about computations Andrew Gacek · Dale Miller · Gopalan Nadathur Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 14:38:54 Model theory Proof theory Automated theorem proving Formal languages Propositional calculus Interpretation Sequent calculus Symbol Substitution Logic Mathematical logic Mathematics
368	A Proof Theory for Generic Judgments Dale Miller ´ INRIA-Futurs & Ecole polytechnique and Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2004-12-10 01:52:56 Model theory Proof theory Deduction Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Logic Mathematical logic Mathematics
369	Some Test Examples M. Ultseq July 23, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:02:24 Model theory Mathematics Ordinary differential equations Propositional calculus Logic Mathematical logic Proof theory

UPDATE